Leïla Kloul: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Modeling patterns for reliability assessment of safety instrumented systems

Meng, Huixing, Kloul, Leïla, Rauzy, Antoine

Journal:

Reliability Engineering & System Safety

Year:

2018

Language:

english

File:

PDF, 2.03 MB

english, 2018

2

[IEEE Simulation of Computer and Telecommunication Systems (MASCOTS) - Singapore, Singapore (2011.07.25-2011.07.27)] 2011 IEEE 19th Annual International Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems - Mobility Prediction Using Mobile User Profiles

Barth, Dominique, Bellahsene, Samir, Kloul, Leïla

Year:

2011

Language:

english

File:

PDF, 850 KB

english, 2011

3

[IEEE 2017 IEEE International Systems Engineering Symposium (ISSE) - Vienna, Austria (2017.10.11-2017.10.13)] 2017 IEEE International Systems Engineering Symposium (ISSE) - A pattern-based methodology for reliability assessment of safety instrumented systems

Meng, Huixing, Kloul, Leila, Rauzy, Antoine

Year:

2017

Language:

english

File:

PDF, 158 KB

english, 2017

4

Production Trees: a New Modeling Methodology for Production Availability Analyses

Kloul, Leïla, Rauzy, Antoine

Journal:

Reliability Engineering & System Safety

Year:

2017

Language:

english

File:

PDF, 659 KB

english, 2017

5

[IEEE 2017 Annual Reliability and Maintainability Symposium (RAMS) - Orlando, FL, USA (2017.1.23-2017.1.26)] 2017 Annual Reliability and Maintainability Symposium (RAMS) - A scenario-based FMEA method and its evaluation in a railway context

Issad, Melissa, Kloul, Leila, Rauzy, Antoine

Year:

2017

Language:

english

File:

PDF, 675 KB

english, 2017

6

[ACM Press the 15th ACM international conference - Paphos, Cyprus (2012.10.21-2012.10.25)] Proceedings of the 15th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems - MSWiM '12 - Combining local and global profiles for mobility prediction in LTE femtocells

Barth, Dominique, Bellahsene, Samir, Kloul, Leila

Year:

2012

Language:

english

File:

PDF, 1.00 MB

english, 2012

7

A unified tool for performance modelling and prediction

Stephen Gilmore, Leïla Kloul

Journal:

Reliability Engineering & System Safety

Year:

2005

Language:

english

File:

PDF, 540 KB

english, 2005

8

Opportunistic data services in least developed countries

Anciaux, Nicolas, Bouganim, Luc, Delot, Thierry, Ilarri, Sergio, Kloul, Leila, Mitton, Nathalie, Pucheral, Philippe

Journal:

ACM SIGMOD Record

Year:

2014

Language:

english

File:

PDF, 804 KB

english, 2014

9

Performance investigation of an on-line auction system

Jane Hillston, Leïla Kloul

Journal:

Concurrency and Computation: Practice and Experience

Year:

2001

Language:

english

File:

PDF, 167 KB

english, 2001

10

[Lecture Notes in Computer Science] Formal Techniques for Computer Systems and Business Processes Volume 3670 || Life After BPEL?

Bravetti, Mario, Kloul, Leïla, Zavattaro, Gianluigi

Year:

2005

Language:

english

File:

PDF, 260 KB

english, 2005

11

Formal models for safety and performance analysis of a data center system

Bennaceur, Walid Mokhtar, Kloul, Leïla

Journal:

Reliability Engineering & System Safety

Year:

2020

Language:

english

File:

PDF, 4.21 MB

english, 2020

12

[Lecture Notes in Computer Science] Formal Techniques for Computer Systems and Business Processes Volume 3670 || A Parametric Communication Model for the Verification of BPEL4WS Compositions

Bravetti, Mario, Kloul, Leïla, Zavattaro, Gianluigi

Year:

2005

Language:

english

File:

PDF, 341 KB

english, 2005

13

Software performance modelling using PEPA nets

Gilmore, Stephen, Hillston, Jane, Kloul, Leïla, Ribaudo, Marina

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2004

Language:

english

File:

PDF, 1.10 MB

english, 2004

14

Performance Analysis of a Software Retrieval Service

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 382 KB

english, 2009

15

[IEEE 2016 Wireless Days (WD) - Toulouse, France (2016.3.23-2016.3.25)] 2016 Wireless Days (WD) - Mobile users assignment control strategies for LTE networks

Barth, Dominique, Choutri, Amira, Kloul, Leila, Marce, Olivier

Year:

2016

Language:

english

File:

PDF, 405 KB

english, 2016

16

[IEEE 2013 IEEE 11th International Conference on Industrial Informatics (INDIN) - Bochum, Germany (2013.07.29-2013.07.31)] 2013 11th IEEE International Conference on Industrial Informatics (INDIN) - The AltaRica 3.0 project for model-based safety assessment

Batteux, Michel, Prosvirnova, Tatiana, Rauzy, Antoine, Kloul, Leila

Year:

2013

Language:

english

File:

PDF, 669 KB

english, 2013

17

[IEEE 2018 IEEE 37th International Performance Computing and Communications Conference (IPCCC) - Orlando, FL, USA (2018.11.17-2018.11.19)] 2018 IEEE 37th International Performance Computing and Communications Conference (IPCCC) - Reliability and Performance Analysis of a Data Center's Network Architecture

Bennaceur, Walid Mokhtar, Kloul, Leila

Year:

2018

Language:

english

File:

PDF, 36 KB

english, 2018

18

Scenario-oriented reverse engineering of complex railway system specifications

Issad, Melissa, Kloul, Leila, Rauzy, Antoine

Journal:

Systems Engineering

Year:

2018

Language:

english

File:

PDF, 1.88 MB

english, 2018

19

Formal techniques for performance analysis: blending SAN and PEPA

Jane Hillston, Leïla Kloul

Journal:

Formal Aspects of Computing

Year:

2007

Language:

english

File:

PDF, 634 KB

english, 2007

20

[Lecture Notes in Computer Science] Formal Techniques for Computer Systems and Business Processes Volume 3670 || A Compositional Operational Semantics for OWL-S

Bravetti, Mario, Kloul, Leïla, Zavattaro, Gianluigi

Year:

2005

Language:

english

File:

PDF, 258 KB

english, 2005

21

SCOLA, A SCENARIO ORIENTED MODELING LANGUAGE FOR RAILWAY SYSTEMS

Issad, Melissa, Kloul, Leila, Rauzy, Antoine, Berkani, Karim

Journal:

Year:

2015

Language:

english

File:

PDF, 262 KB

english, 2015

22

[IEEE 2018 3rd International Conference on System Reliability and Safety (ICSRS) - Barcelona, Spain (2018.11.23-2018.11.25)] 2018 3rd International Conference on System Reliability and Safety (ICSRS) - Electrical and Thermal System Impact on the Availability of a Data Center's System

Bennaceur, Walid Mokhtar, Kloul, Leila

Year:

2018

Language:

english

File:

PDF, 31 KB

english, 2018

23

[ACM Press the fourth international workshop - Redwood Shores, California (2004.01.14-2004.01.16)] Proceedings of the fourth international workshop on Software and performance - WOSP '04 - Software performance modelling using PEPA nets

Gilmore, Stephen, Hillston, Jane, Kloul, Leïla, Ribaudo, Marina

Year:

2004

Language:

english

File:

PDF, 1.10 MB

english, 2004

24

Modelling buffer admission mechanisms using stochastic automata networks

Jean -Michel Fourneau, Leïla Kloul, Nihal Pekergin, Franck Quessette, Véronique Veque

Journal:

annals of telecommunications - annales des télécommunications

Year:

1994

Language:

english

File:

PDF, 1.13 MB

english, 1994

25

[ACM Press the 16th ACM international conference - Barcelona, Spain (2013.11.03-2013.11.08)] Proceedings of the 16th ACM international conference on Modeling, analysis & simulation of wireless and mobile systems - MSWiM '13 - Femtocells sharing management using mobility prediction model

Barth, Dominique, Choutri, Amira, Kloul, Leïla, Marcé, Olivier

Year:

2013

Language:

english

File:

PDF, 599 KB

english, 2013

26

[Lecture Notes in Computer Science] Formal Techniques for Computer Systems and Business Processes Volume 3670 || Automatic Translation of WS-CDL Choreographies to Timed Automata

Bravetti, Mario, Kloul, Leïla, Zavattaro, Gianluigi

Year:

2005

Language:

english

File:

PDF, 301 KB

english, 2005

27

Modeling the CBTC Railway System of Siemens with ScOLa

Issad, Melissa, Kloul, Leïla, Rauzy, Antoine, Berkani, Karim

Journal:

International Journal of Intelligent Transportation Systems Research

Year:

2017

Language:

english

File:

PDF, 1.36 MB

english, 2017

28

[ACM Press the first joint WOSP/SIPEW international conference - San Jose, California, USA (2010.01.28-2010.01.30)] Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering - WOSP/SIPEW '10 - Synthesising PEPA nets from IODs for performance analysis

Bowles, Juliana, Kloul, Leila

Year:

2010

Language:

english

File:

PDF, 421 KB

english, 2010

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски